- compatible definability
- мат.непротиворечивая определимость
English-Russian scientific dictionary. 2008.
compatible definability
Смотреть что такое "compatible definability" в других словарях:
Forcing (mathematics) — For the use of forcing in recursion theory, see Forcing (recursion theory). In the mathematical discipline of set theory, forcing is a technique invented by Paul Cohen for proving consistency and independence results. It was first used, in 1963,… … Wikipedia
